with Comunes;
use Comunes;

package Zapatos is
	type Zapato is tagged private;

	procedure Init(This: in out Zapato; Numero:Natural; Direccion:Str100.Bounded_String; TiempoEst:Float);

        function Numero(This: Zapato) return Natural;

        function TiempoEstimado(This: Zapato) return Float;

private
	type Zapato is tagged
		record
			Numero:Natural;
			Direccion:Str100.Bounded_String;
			TiempoEst:Float;
		end record;	
end Zapatos;

